Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
71	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
72	Semantic Referencing – Determining Context Weights for Similarity Measurement Krzysztof Janowicz1 , Benjamin Adams2 , Martin Raubal3 1 2 Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2016-07-01 14:44:26 Statistical distance Information science Computational linguistics Semantic similarity Similarity Ontology Description logic Semantic memory Cosine similarity
73	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
74	IFSA Newsletter Vol. 4, No. 2, December 2007 In this issue: PROF. KACPRZYK ELECTED TO SPANISH ACADEMY 1 Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:46 Fuzzy logic Artificial intelligence Lotfi A. Zadeh Fuzzy set Fuzzy control system Neuro-fuzzy Fuzzy mathematics Computational intelligence European Society for Fuzzy Logic and Technology Institute of Electrical and Electronics Engineers Type-2 fuzzy sets and systems
75	Open Question Answering Over Curated and Extracted Knowledge Bases Anthony Fader∗ Luke Zettlemoyer Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-06-22 20:41:12 Natural language processing Computational linguistics Question answering Grammar Human communication Google Search WikiAnswers Question Information retrieval Derivation Modal logic Query optimization
76	IFSA Newsletter Vol. 3, No. 3, December 2006 In this issue: KAUFMANN PRIZE AWARD TO PROF. JANUSZ KACPRZYK 1 Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:43 Artificial intelligence Systems scientists Jacek M. Zurada Logic in computer science Computational intelligence Lotfi A. Zadeh Fuzzy logic George Klir Artificial neural network
77	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2012-07-17 05:12:14 Mathematical logic Modal logic Term Herbrand interpretation Ground expression
78	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: eglassman.github.io Language: English - Date: 2016-07-29 16:41:12 Theoretical computer science Alan Turing Mathematical logic Turing machine Algorithm MATLAB Computational complexity theory Human-based computation Problem solving NP Simulation
79	A Distributional Theory of Content for NLP Mark Steedman (with Mike Lewis) 1st June 2016 Steedman, Univ. of Edinburgh Add to Reading List Source URL: www.dialog-21.ru Language: English - Date: 2016-06-07 05:08:38 Semantics Computational linguistics Distributional semantics Steedman Meaning Logic Word-sense disambiguation
80	Graph Summarization in Annotated Data Using Probabilistic Soft Logic Alex Memory1 , Angelika Kimmig1,2 , Stephen H. Bach1 , Louiqa Raschid1 and Lise Getoor1 1 Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:10 Graph theory Graph Data mining Computational linguistics

UPDATE